منابع مشابه
A Combined LNA - Oscillator - Mixer For Biomedical Applications
Faculdade de Ciências e Tecnologia Departamento de Engenharia Electrotécnica e de Computadores Mestrado em Engenharia Electrotécnica e de Computadores
متن کاملABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters
In cloud computing, software which does not flexibly adapt to deployment decisions either wastes operational resources or requires reengineering, both of which may significantly increase costs. However, this could be avoided by analyzing deployment decisions already during the design phase of the software development. Real-Time ABS is a formal language for executable modeling of deployed virtua...
متن کاملA Formal Model of Identity Mixer Mixer
Identity Mixer is an anonymous credential system developed at IBM that allows users for instance to prove that they are over 18 years old without revealing their name or birthdate. This privacy-friendly technology is realized using zero-knowledge proofs. We describe a formal model of Identity Mixer that is well-suited for automated protocol verification tools in the spirit of black-box cryptogr...
متن کاملSimulating Yarn-based Cloth
Cloth is an important material to model and simulate correctly, both in computer graphics and other industrial applications. The commonly used models for cloth in computer graphics typically approximate the cloth as an elastic sheet with linear isotropic behavior inspired by the construction of woven fabrics. However, they do a poor job of predicting the behavior of knits, which are driven by t...
متن کاملViruses: That Intricate Yarn
In Part 1 of Greg Bear's science fiction novel “Darwin’s Children,” Kaye Rafelson, a scientist, virologist, and mother of a so-called “virus child” (a child born through a pregnancy induced by the SHEVA virus and therefore a mutant, a freak, a potentially dangerous creature) is reviewing a paper where she tries not only to demystify the myths and prejudices about viruses, but also to suggest an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Textile Machinery of Japan - Proceedings -
سال: 1970
ISSN: 1883-8731
DOI: 10.4188/transjtmsj1965a.23.p704